application security failure analysis thin-client modeling management truth tables expert witness development fault detection radius3 engineer monitor supervisory logic monitoring engineering